Directed transport of active particles over asymmetric energy barriers

We theoretically and numerically investigate the transport of active colloids to target regions, delimited by asymmetric energy barriers. We show that it is possible to introduce a generalized effective temperature that is related to the local variance of particle velocities. The stationary probability distributions can be derived from a simple diffusion equation in the presence of an inhomogeneous effective temperature resulting from the action of external force fields. In particular, transitions rates over asymmetric energy barriers can be unbalanced by having different effective temperatures over the two slopes of the barrier. By varying the type of active noise, we find that equal values of diffusivity and persistence time may produce strongly varied effective temperatures and thus stationary distributions

Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Enhancing declarative process models with DMN decision logic

Modeling dynamic, human-centric, non-standardized and knowledge-intensive business processes with imperative process modeling approaches is very challenging. Declarative process modeling approaches are more appropriate for these processes, as they offer the run-time flexibility typically required in these cases. However, by means of a realistic healthcare process that falls in the aforementioned category, we demonstrate in this paper that current declarative approaches do not incorporate all the details needed. More specifically, they lack a way to model decision logic, which is important when attempting to fully capture these processes. We propose a new declarative language, Declare-R-DMN, which combines the declarative process modeling language Declare-R with the newly adopted OMG standard Decision Model and Notation. Aside from supporting the functionality of both languages, Declare-R-DMN also creates bridges between them. We will show that using this language results in process models that encapsulate much more knowledge, while still offering the same flexibility

Mapping Learning and Game Mechanics for Serious Games Analysis in Engineering Education

In a world where students are increasing digitally tethered to powerful, ‘always on’ mobile devices, new models of engagement and approaches to teaching and learning are required from educators. Serious Games (SG) have proved to have instructional potential but there is still a lack of methodologies and tools not only for their design but also to support game analysis and assessment. This paper explores the use of SG to increase student engagement and retention. The development phase of the Circuit Warz game is presented to demonstrate how electronic engineering education can be radically reimagined to create immersive, highly engaging learning experiences that are problem-centered and pedagogically sound. The Learning Mechanics–Game Mechanics (LM-GM) framework for SG game analysis is introduced and its practical use in an educational game design scenario is shown as a case study

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED

The chemical composition of the aerial parts essential oil of Acinos alpinus subsp. nebrodensis (Lamiaceae) growing in Sicily (Italy)

Acinos is a small genus of economically important plants belonging to Lamiaceae family whose botanical collocation is quite problematic due to the disagreement among the botanists and the presence in litera- ture of several names and synonyms from different sources. In the pre- sent study the chemical composition of the essential oil from aerial parts of Acinos alpinus subsp. nebrodensis (Strobl) Brullo & Brullo col- lected in Central Sicily was analyzed by GC-MS. The result showed the presence of large quantity of sesquiterpene hydrocarbons with germa- crene D (37.9%) as the most abundant component followed by (E)- b-caryophyllene (5.1%). Among the oxygenated monoterpenes thymol (8.3%) was the most abundant; good quantity of hexadecanoic acid (6.8%) was also observed. Chemotaxonomic considerations with respect all the other oils of Acinos taxa, studied so far, were carried out